911![Constraint Solving for Bounded-Process Cryptographic Protocol Analysis Jonathan Millen and Vitaly Shmatikov Computer Science Laboratory, SRI International, Menlo Park, CAUSA fmillen, Constraint Solving for Bounded-Process Cryptographic Protocol Analysis Jonathan Millen and Vitaly Shmatikov Computer Science Laboratory, SRI International, Menlo Park, CAUSA fmillen,](https://www.pdfsearch.io/img/f1a1b0501da3806a28107d818249d915.jpg) | Add to Reading ListSource URL: jonmillen.comLanguage: English - Date: 2017-01-20 09:49:12
|
---|
912![Approximate Policy Iteration with Demonstration Data Beomjoon Kim School of Computer Science McGill University Montreal, Quebec, Canada Approximate Policy Iteration with Demonstration Data Beomjoon Kim School of Computer Science McGill University Montreal, Quebec, Canada](https://www.pdfsearch.io/img/fef26f23c630682b875aab2a39f7eed4.jpg) | Add to Reading ListSource URL: www.sologen.netLanguage: English - Date: 2013-10-24 08:38:57
|
---|
913![Peter Snyder Department of Computer Science University of Illinois at Chicago Chicago, IL 60607 Peter Snyder Department of Computer Science University of Illinois at Chicago Chicago, IL 60607](https://www.pdfsearch.io/img/5abb6770e40cab25dc60308f687a03e3.jpg) | Add to Reading ListSource URL: www.peteresnyder.comLanguage: English - Date: 2018-05-14 00:35:08
|
---|
914![Two Ways of Discovering the Size and Shape of a Computer Program to Solve a Problem John R. Koza Computer Science Department Stanford University Two Ways of Discovering the Size and Shape of a Computer Program to Solve a Problem John R. Koza Computer Science Department Stanford University](https://www.pdfsearch.io/img/605aa36e27199d65ae63135a6b1f1aea.jpg) | Add to Reading ListSource URL: www.genetic-programming.comLanguage: English - Date: 2006-11-17 21:17:58
|
---|
915![Fitting Smooth Surfaces to Dense Polygon Meshes Venkat Krishnamurthy Marc Levoy Computer Science Department Stanford University Fitting Smooth Surfaces to Dense Polygon Meshes Venkat Krishnamurthy Marc Levoy Computer Science Department Stanford University](https://www.pdfsearch.io/img/d57ea6e116e1bdbe2ca8a8e5aab58024.jpg) | Add to Reading ListSource URL: graphics.stanford.eduLanguage: English - Date: 1997-05-06 18:31:59
|
---|
916![Science of Computer Programming–165 www.elsevier.com/locate/scico Type inference against races Cormac Flanagan a,∗ , Stephen N. Freund b a Computer Science Department, University of California at Santa Science of Computer Programming–165 www.elsevier.com/locate/scico Type inference against races Cormac Flanagan a,∗ , Stephen N. Freund b a Computer Science Department, University of California at Santa](https://www.pdfsearch.io/img/ae4102cde248a6a6329e1e24fa36611a.jpg) | Add to Reading ListSource URL: dept.cs.williams.eduLanguage: English - Date: 2018-08-12 09:38:05
|
---|
917![Modelling and Verification of Web Services Business Activity Protocol Anders P. Ravn, Jiˇr´ı Srba? , and Saleem Vighio?? Department of Computer Science, Aalborg University, Selma Lagerl¨ ofs Vej 300, DK-9220 Aalborg Modelling and Verification of Web Services Business Activity Protocol Anders P. Ravn, Jiˇr´ı Srba? , and Saleem Vighio?? Department of Computer Science, Aalborg University, Selma Lagerl¨ ofs Vej 300, DK-9220 Aalborg](https://www.pdfsearch.io/img/33ca26f28076c260657e3e77dc75dc9e.jpg) | Add to Reading ListSource URL: www.it.uu.seLanguage: English - Date: 2010-12-14 04:51:50
|
---|
918![Practical everlasting privacy Myrto Arapinis1 , V´eronique Cortier2 , Steve Kremer2 , and Mark Ryan1 1 School of Computer Science, University of Birmingham 2 Practical everlasting privacy Myrto Arapinis1 , V´eronique Cortier2 , Steve Kremer2 , and Mark Ryan1 1 School of Computer Science, University of Birmingham 2](https://www.pdfsearch.io/img/c52cc92419ef077711475822799f6776.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.uk.Language: English - Date: 2013-04-19 15:49:07
|
---|
919![Learning Deep Neural Network Policies with Continuous Memory States Marvin Zhang, Zoe McCarthy, Chelsea Finn, Sergey Levine, Pieter Abbeel Department of Electrical Engineering and Computer Science, UC Berkeley {zhangmarv Learning Deep Neural Network Policies with Continuous Memory States Marvin Zhang, Zoe McCarthy, Chelsea Finn, Sergey Levine, Pieter Abbeel Department of Electrical Engineering and Computer Science, UC Berkeley {zhangmarv](https://www.pdfsearch.io/img/eab0ff58393124d4df542980c6ad36c9.jpg) | Add to Reading ListSource URL: www.thespermwhale.comLanguage: English - Date: 2015-11-25 22:12:00
|
---|